Verification Rules of Computerized Information System Model with Respect to Data Resource Processing
نویسندگان
چکیده
This paper presents the set of verification rules to detect faults in specification of model of computerized information system. Computerized information system model is specified using Enterprise modeling approach, which integrates static and dynamic dependencies. Typical communication action loop is a basic construct of Enterprise modeling approach. Actions, which process data resources of computerized information system, are analyzed.
منابع مشابه
Formal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملEvaluation of Suspected Pediatric Appendicitis with Alvarado Method Using a Computerized Intelligent Model
Background: Acute appendicitis is one of the common and urgent illnesses among children. Children usually are unable to help the physicians completely due to weakness in describing the medical history. Moreover, acute appendicitis overlaps with conditions of other diseases in terms of Symptoms and signs in the first hours of presentation. These conditions lead to unwanted biases as well as err...
متن کاملA Hybrid Model of Heart Anomalies Detection by Processing Heart Sounds
Introduction: Different factors are effective in detecting heart abnormalities. The greater the number of these factors, the greater the uncertainty in the detection of heart abnormalities. In the uncertainty condition in response of prediction model, the fuzzy systems are one of the most effective methods for generating an acceptable response. Method: In this applied study, 3240 records rela...
متن کاملA Hybrid Model of Heart Anomalies Detection by Processing Heart Sounds
Introduction: Different factors are effective in detecting heart abnormalities. The greater the number of these factors, the greater the uncertainty in the detection of heart abnormalities. In the uncertainty condition in response of prediction model, the fuzzy systems are one of the most effective methods for generating an acceptable response. Method: In this applied study, 3240 records rela...
متن کاملMeasuring the effectiveness of human resource information systems in national iranian oil company an empirical assessment
While the growth of MIS investment and its influence is making MIS evaluation ever more indispensable, little attention has been paid to assessing and communicating system effectiveness. This paper attempts to empirically assess the effectiveness of integrated human resource information system in Iranian oil industry. As suggested by recent research, the widely accepted IS success model is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Informatica, Lith. Acad. Sci.
دوره 12 شماره
صفحات -
تاریخ انتشار 2001